TSTP Solution File: ITP023^3 by Nitpick---2016